Theorem Equiv.isSMulRegular_congr

Modification history

2024-05-23 18:50
Mathlib/Algebra/Regular/SMul.lean
Feat(Algebra/Regular/SMul): Add some lemmas about `IsSMulRegular` (#13123) …
Added Equiv.isSMulRegular_congrView on Github →