Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pi.has_faithful_smul_at

Modification history

2022-06-05 02:47
src/group_theory/group_action/pi.lean
refactor(group_theory/group_action/defs): rename has_faithful_scalar (#14515) …
Added pi.has_faithful_smul_atView on Github →