Theorem IsLeftRegular.all

Modification history

2023-11-23 11:18

Mathlib/Algebra/Regular/Basic.lean

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

Added IsLeftRegular.all View on Github →