'MarginNumbers.half_b_lower' depends on axioms: [propext, Classical.choice, Quot.sound]
'MarginNumbers.margin_beta28' depends on axioms: [propext, Classical.choice, Quot.sound]
'MarginNumbers.margin_beta54' depends on axioms: [propext, Classical.choice, Quot.sound]
'MarginNumbers.lambda_window' depends on axioms: [propext, Classical.choice, Quot.sound]
