'KenomaNonuniform.gradient_determinant' depends on axioms: [propext, Classical.choice, Quot.sound]
'KenomaNonuniform.positive_stretch_on_interval' depends on axioms: [propext, Classical.choice, Quot.sound]
'KenomaNonuniform.pointwise_isochoric_gradient' depends on axioms: [propext, Classical.choice, Quot.sound]
'KenomaNonuniform.nonuniform_isochoric_on_interval' depends on axioms: [propext, Classical.choice, Quot.sound]
'KenomaNonuniform.straight_cell_error_factorization' depends on axioms: [propext, Classical.choice, Quot.sound]
'KenomaNonuniform.straight_cell_ratio_ge_one' depends on axioms: [propext, Classical.choice, Quot.sound]