Theorem Subgroup.Normal.conj_mem'

Modification history

2024-07-26 01:01

Mathlib/Algebra/Group/Subgroup/Basic.lean

chore: robustifying for debug.byAsSorry (part 4) (#15125)

Modified Subgroup.Normal.conj_mem'View on Github →

2024-05-28 17:51

Mathlib/Algebra/Group/Subgroup/Basic.lean

Feat (GroupTheory/GroupAction/Blocks) : blocks for a mul action (#12049) …

Added Subgroup.Normal.conj_mem'View on Github →