'PolymerGeometry.union_activity_le' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerGeometry.image_cover' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerGeometry.image_size_condition' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerGeometry.block_fiber_card' depends on axioms: [propext, Classical.choice, Quot.sound]
'PolymerGeometry.contraction_iff' depends on axioms: [propext, Classical.choice, Quot.sound]
