mathlib3
cdf9884c - refactor(algebra/graded_monoid): switch to heq

Commit

4 years ago

refactor(algebra/graded_monoid): switch to heq

References

eric-wieser/change-gmonoid

Author

eric-wieser

eric-wieser

Parents

Loading