2026-05-26 14:39
Mathlib/Order/CompleteBooleanAlgebra.lean
feat: a lemma about the symmetric difference of unions (#38536) …
Added Order.Frame.MinimalAxioms.Order.Coframe.MinimalAxioms.CompleteDistribLattice.MinimalAxioms.CompletelyDistribLattice.MinimalAxioms.symmDiff_sSup_le