'EEML.richting_annihilatie' depends on axioms: [propext, Classical.choice, Quot.sound]
'EEML.orbit_kritiek' depends on axioms: [propext, Classical.choice, Quot.sound]
'EEML.hessiaan_annihileert_orbit' depends on axioms: [propext, Classical.choice, Quot.sound]
'EEML.hessiaan_nul_op_gauge' depends on axioms: [propext, Classical.choice, Quot.sound]