mathlib
c2ab0271 - generalize mul/inv_spec, mul_at→trans_at & lemmas
Commit
View On GitHub
Commit
2 years ago
generalize mul/inv_spec, mul_at→trans_at & lemmas
Author
alreadydone alreadydone
Parents
a350583e
FAQ Terms Privacy Refunds Impressum
Loading