Mathlib Changelog v4

Changelog About Github

Theorem Subgroup.normal_mul

Modification history

2023-02-01 11:22

Mathlib/GroupTheory/Subgroup/Pointwise.lean

feat: port GroupTheory.Subgroup.Pointwise (#1981)

Added Subgroup.normal_mul View on Github →