'KenomaProperties.edge_translation_invariant' depends on axioms: [propext, Classical.choice, Quot.sound]
'KenomaProperties.determinant_composition' depends on axioms: [propext, Classical.choice, Quot.sound]
'KenomaProperties.axial_determinant' depends on axioms: [propext, Classical.choice, Quot.sound]
'KenomaProperties.isochoric_sqrt_construction' depends on axioms: [propext, Classical.choice, Quot.sound]