Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.sUnion_pair

Modification history

2018-10-08 14:30
data/set/lattice.lean
refactor(*): touching up proofs from 'faster' branch
Added set.sUnion_pairView on Github →