Mathlib Changelog v4

Changelog About Github

Theorem Subgroup.smul_bot

Modification history

2023-02-01 11:22

Mathlib/GroupTheory/Subgroup/Pointwise.lean

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

Added Subgroup.smul_bot View on Github →