Def Rectangle.weightedArea

Modification history

2024-10-28 09:52
LongestPole/Rectangles.lean
feat: lake exe unused (#18156) …
Added Rectangle.weightedAreaView on Github →