Mathlib v3 is deprecated. Go to Mathlib v4

Theorem compl_surjective

Modification history

2021-11-21 22:33

src/order/boolean_algebra.lean

chore(*): golf proofs about `filter.Coprod` (#10400) …

Added compl_surjective View on Github →