Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-12-05 12:33 6ebe286e

View on Github →

refactor(.): use new funext tactic

Estimated changes

Modified analysis/measure_theory/measure_space.lean

Modified analysis/metric_space.lean

Modified analysis/topology/topological_structures.lean

Modified analysis/topology/uniform_space.lean

Modified data/analysis/topology.lean

Modified data/equiv.lean

Modified data/int/basic.lean

modified theorem int.mod_add_cancel_right

modified theorem int.mod_sub_cancel_right

Modified data/list/basic.lean

Modified data/list/perm.lean

Modified data/pfun.lean

Modified data/seq/computation.lean

Modified data/seq/parallel.lean

Modified data/seq/seq.lean

Modified data/seq/wseq.lean

Modified order/complete_lattice.lean

Modified order/filter.lean