'FaceSumRule.row_identity' depends on axioms: [propext, Classical.choice, Quot.sound]
'FaceSumRule.sum_rule' depends on axioms: [propext, Classical.choice, Quot.sound]
'FaceSumRule.sum_rule_split' depends on axioms: [propext, Classical.choice, Quot.sound]
'FaceSumRule.normalized' depends on axioms: [propext, Classical.choice, Quot.sound]
'FaceSumRule.proj_fixes' depends on axioms: [propext, Classical.choice, Quot.sound]
'FaceSumRule.dimension_value' depends on axioms: [propext, Classical.choice, Quot.sound]
'FaceSumRule.four_dim' depends on axioms: [propext, Classical.choice, Quot.sound]
'FaceSumRule.variance_halved' depends on axioms: [propext, Classical.choice, Quot.sound]
