mathlib3
97f89af6 - doc(algebra/euclidean_domain): module doc (#6107)

Commit

4 years ago

doc(algebra/euclidean_domain): module doc (#6107) Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>

Author

Julian-Kuelshammer

Parents