Mathlib Changelog v4

Changelog About Github

Theorem Subgroup.mul_normal

Modification history

2023-02-01 11:22

Mathlib/GroupTheory/Subgroup/Pointwise.lean

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

Added Subgroup.mul_normal View on Github →