'Kenoma.DissipativeBarReal.storage_nonnegative' depends on axioms: [propext, Classical.choice, Quot.sound]
'Kenoma.DissipativeBarReal.dissipation_nonnegative' depends on axioms: [propext, Classical.choice, Quot.sound]
'Kenoma.DissipativeBarReal.storage_hasDerivAt' depends on axioms: [propext, Classical.choice, Quot.sound]
'Kenoma.DissipativeBarReal.local_power_balance' depends on axioms: [propext, Classical.choice, Quot.sound]
'Kenoma.DissipativeBarReal.zero_branch_recovers_elastic' depends on axioms: [propext, Classical.choice, Quot.sound]
'Kenoma.DissipativeBarReal.viscous_strain_hasDerivAt' depends on axioms: [propext, Classical.choice, Quot.sound]
'Kenoma.DissipativeBarReal.viscous_strain_bounded' depends on axioms: [propext, Classical.choice, Quot.sound]
'Kenoma.DissipativeBarReal.viscous_strain_monotone' depends on axioms: [propext, Classical.choice, Quot.sound]
'Kenoma.DissipativeBarReal.viscous_strain_antitone' depends on axioms: [propext, Classical.choice, Quot.sound]
'Kenoma.DissipativeBarReal.held_stress_bounded' depends on axioms: [propext, Classical.choice, Quot.sound]
'Kenoma.DissipativeBarReal.held_stress_antitone' depends on axioms: [propext, Classical.choice, Quot.sound]