Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_right_regular_iff

Modification history

2021-08-20 14:42

src/algebra/regular/smul.lean

feat(algebra): is_smul_regular for `pi`, `finsupp`, `matrix`, `polynomial` (#8716) …

Added is_right_regular_iff View on Github →