mathlib3
2077c90c - doc(counterexamples/canonically_ordered_comm_semiring_two_mul): fix url (#7625)

Commit

4 years ago

doc(counterexamples/canonically_ordered_comm_semiring_two_mul): fix url (#7625) Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>

Author

gebner

Parents