Mathlib Changelog
v4
Changelog
About
Github
Def
Rectangle.height
Modification history
2024-10-28 09:52
LongestPole/Rectangles.lean
feat: lake exe unused (#18156) …
Added
Rectangle.height
View on Github →