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

Estimated changes