Theorem SemilatticeSup.sup_le'

Modification history

2025-11-18 12:49
MathlibTest/ToDual.lean
fix(to_dual): also store `reorder` for the reverse translation (#31716) …
Added SemilatticeSup.sup_le'View on Github →