mathlib
5ea384e8 - refactor(ring_theory/finiteness): replace fragile convert with rewrites (#9787)

Commit

4 years ago

refactor(ring_theory/finiteness): replace fragile convert with rewrites (#9787) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents