Mathlib Changelog v4

Changelog About Github

Theorem Subgroup.smul_inf

Modification history

2023-02-01 11:22

Mathlib/GroupTheory/Subgroup/Pointwise.lean

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

Added Subgroup.smul_inf View on Github →