r
/
bookshelf
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
bookshelf/Common/Real.lean

2 lines
52 B
Plaintext
Raw Permalink Normal View History

Revise geometry with different types of rectangles and lines.
2023-05-15 01:32:18 +00:00
import Common.Real.Floor
Drop placeholders prior to Mathlib4 port.
2023-07-26 19:41:55 +00:00
import Common.Real.Sequence