mathlib
d86ce027 - chore(ring_theory/fractional_ideal): golf (#12076)
Commit
View On GitHub
Commit
3 years ago
chore(ring_theory/fractional_ideal): golf (#12076)
Author
eric-wieser eric-wieser
Parents
15c6eee7
FAQ Terms Privacy Refunds Impressum
Loading