Theorem SemilatticeInf.le_inf'

Modification history

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