Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-01-26 03:15 edd62de5

View on Github →

fix(set_theory/zfc): update to lean

Estimated changes

Modified set_theory/zfc.lean

modified def Class.fval

modified theorem Class.mem_hom_left

modified theorem Class.mem_hom_right