Commit 2024-01-05 18:57 26ccd1e9
View on Github →feat (Mathlib/Algebra/Regular/Basic.lean): Add lemmas on RightRegular (#9464) A couple of lemmas on RightRegular that could be useful for future work on Localization
feat (Mathlib/Algebra/Regular/Basic.lean): Add lemmas on RightRegular (#9464) A couple of lemmas on RightRegular that could be useful for future work on Localization