Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Set.sound

Modification history

2022-07-15 20:48

src/set_theory/zfc.lean

feat(set_theory/zfc): more `quotient` lemmas (#15324) …

Added Set.sound View on Github →