basic): lemmas about angles and distances (#7140)

Commit

4 years ago

feat(geometry/euclidean/basic): lemmas about angles and distances (#7140) Co-authored-by: Johan Commelin <johan@commelin.net>

Author

manuelcandales

Parents