'LatticeGauge.QuarticSplit.titu_two' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.QuarticSplit.quartic_two' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.QuarticSplit.quartic_triangle' depends on axioms: [propext, Classical.choice, Quot.sound]
'LatticeGauge.QuarticSplit.class_split' depends on axioms: [propext, Classical.choice, Quot.sound]
