Mathlib Changelog v4

Changelog About Github

Theorem Set.Pairwise.mono

Modification history

2022-12-24 11:23

Mathlib/Data/Set/Pairwise.lean

feat: port Data.Set.Pairwise (#1175)

Added Set.Pairwise.mono View on Github →