'PolymerComponents.conn_symm' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.conn_trans' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.conn_mono' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.mem_component' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.self_mem_component' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.component_subset' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.component_eq' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.mem_components' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.components_disjoint' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.components_union' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.components_nonempty' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.conn_within_component' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.components_connected' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.components_nonadjacent' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.component_of_piece' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.expand' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.prod_over_components' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.polymer_representation' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.weight_split' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.components_satisfy_gas' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.polymer_representation_components' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.weight_split_components' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.gas_term_structure' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerComponents.component_counted' depends on axioms: [propext, Classical.choice, Quot.sound]
