mathlib
9b6a39aa - bug(ring_theory/algebra): Fix bad merge
Commit
View On GitHub
Commit
5 years ago
bug(ring_theory/algebra): Fix bad merge
Author
eric-wieser eric-wieser
Parents
0ea5a75d
FAQ Terms Privacy Refunds Impressum
Loading