mathlib3
4ad7dc9d - chore(algebra/ring/equiv): protect ring equiv lemmas for big operators (#13624)

Commit

3 years ago

chore(algebra/ring/equiv): protect ring equiv lemmas for big operators (#13624)

Author

j-loreaux

j-loreaux

Parents

Loading