Add the lemma not_near_ninftyP in normedtype.v#1280
Closed
Yosuke-Ito-345 wants to merge 6 commits intomath-comp:masterfrom Yosuke-Ito-345:Add-Lemma_not_near_ninftyP
+21-246
Commits
Commits on Aug 6, 2024
authored andamethystcommittedamethyst
Commits on Aug 7, 2024
- authored andamethystcommittedamethyst
- authored andamethystcommittedamethyst
- authored andamethystcommittedamethyst
Commits on Aug 11, 2024
- authored andamethystcommittedamethyst
- authored andamethystcommittedamethyst