Mathlib Changelog
v4
Changelog
About
Github
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 →