Theorem ConjAct.ofConjAct_zero

Modification history

2025-01-21 04:10
Mathlib/Algebra/GroupWithZero/Action/ConjAct.lean
chore(ConjAct): don't import fields (#20718) …
Modified ConjAct.ofConjAct_zeroView on Github →
2023-01-27 09:47
Mathlib/GroupTheory/GroupAction/ConjAct.lean
feat: port GroupTheory.GroupAction.ConjAct (#1871) …
Added ConjAct.ofConjAct_zeroView on Github →