Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-03-05 17:55 0487a320

View on Github →

chore(*): cleanup

Estimated changes

Modified analysis/topology/topological_space.lean

Modified logic/function.lean

added theorem function.comp_apply

added def function.update

added theorem function.update_noteq

added theorem function.update_same

Modified order/filter.lean

modified theorem filter.binfi_sup_eq

modified theorem filter.infi_sup_eq

added theorem lattice.inf_left_comm

added theorem lattice.infi_empty_finset

added theorem lattice.infi_insert_finset