mathlib3
10ee9413 - fix(group_theory/monoid_localization): fix timeout (#18846)

Commit

2 years ago

fix(group_theory/monoid_localization): fix timeout (#18846) Splitting this into two definitions seems to make both much faster

Author

eric-wieser

Parents