Theorem IsSMulRegular.all

Modification history

2026-09-09 05:30
Mathlib/Algebra/Regular/SMul.lean
feat(Algebra/Regular/SMul): add IsSMulRegular.all (#43600) …
Added IsSMulRegular.allView on Github →