'Book11.split' depends on axioms: [propext, Classical.choice, Quot.sound]
'Book11.unique_same_length' depends on axioms: [propext, Classical.choice, Quot.sound]
'Book11.unique_base_ten' depends on axioms: [propext, Classical.choice, Quot.sound]
'Book11.high_zero' depends on axioms: [propext]
'Book11.two_names' does not depend on any axioms
'Book11.low_digit_is_remainder' depends on axioms: [propext]
'Book11.multiple_ends_in_zero' depends on axioms: [propext]
'Book11.bijective_unique' depends on axioms: [propext, Classical.choice, Quot.sound]
'Book11.split' depends on axioms: [propext, Classical.choice, Quot.sound]
'Book11.unique_same_length' depends on axioms: [propext, Classical.choice, Quot.sound]
'Book11.unique_base_ten' depends on axioms: [propext, Classical.choice, Quot.sound]
'Book11.high_zero' depends on axioms: [propext]
'Book11.two_names' does not depend on any axioms
'Book11.low_digit_is_remainder' depends on axioms: [propext]
'Book11.multiple_ends_in_zero' depends on axioms: [propext]
'Book11.bijective_unique' depends on axioms: [propext, Classical.choice, Quot.sound]