Theorem IsRightRegular.subsingleton

Modification history

2022-11-28 16:05

Mathlib/Algebra/Regular/Basic.lean

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

Added IsRightRegular.subsingleton View on Github →