Commit 2026-02-13 15:00 9e40889d

View on Github →

feat(Order/Minimal): MinimalFor/MaximalFor are antitone (#34666)

Estimated changes

added theorem MaximalFor.anti
added theorem MinimalFor.anti