Mathlib Changelog v4

Changelog About Github

Theorem Set.Finite.smul

Modification history

2023-01-29 03:26

Mathlib/Data/Set/Pointwise/Finite.lean

feat: port Data.Set.Pointwise.Finite (#1844)

Added Set.Finite.smul View on Github →