Theorem MinimalFor.anti

Modification history

2026-02-13 15:00
Mathlib/Order/Minimal.lean
feat(Order/Minimal): `MinimalFor`/`MaximalFor` are antitone (#34666)
Added MinimalFor.antiView on Github →