Structure IsAddRegular

Modification history

2023-08-10 19:52

Mathlib/Algebra/Regular/Basic.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified IsAddRegular View on Github →

2022-11-28 16:05

Mathlib/Algebra/Regular/Basic.lean

feat(Algebra/Regular/Basic): port file (#758) …

Added IsAddRegular View on Github →