units): simp lemma for scalar action of `is_unit.unit h` (#14006)

Commit

3 years ago

feat(group_theory/group_action/units): simp lemma for scalar action of `is_unit.unit h` (#14006)

Author

sgouezel

Parents