Theorem Set.Pairwise.mono''

Modification history

2026-09-28 14:01
Mathlib/Data/Set/Pairwise/Basic.lean
chore: golf proofs with `grw`/`gcongr`/`gconvert` (#44245)
Added Set.Pairwise.mono''View on Github →