Def SemilatticeSup.casesOn'

Modification history

2026-03-06 00:15
MathlibTest/ToDual.lean
feat(to_dual): support recursively reordering arguments (#34863) …
Added SemilatticeSup.casesOn'View on Github →