Theorem IsRightRegular.all

Modification history

2023-11-23 11:18

Mathlib/Algebra/Regular/Basic.lean

chore(Algebra/Regular/Basic): generalize to `IsCancelMul` (#8428) …

Added IsRightRegular.all View on Github →