Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-06-19 08:08 e1f795d0

View on Github →

chore(data/list/basic): minor cleanup of find variables (#137)

Estimated changes

Modified analysis/topology/continuity.lean

Modified analysis/topology/uniform_space.lean

Modified category/basic.lean

deleted theorem id_map'

deleted theorem is_comm_applicative.commutative_map

deleted theorem map_map

deleted theorem map_seq

deleted theorem pure_id'_seq

deleted theorem seq_map_assoc

Modified computability/partrec.lean

modified theorem partrec.comp

Modified data/list/basic.lean

modified def list.find

modified theorem list.find_cons_of_neg

modified theorem list.find_cons_of_pos

modified theorem list.find_eq_none

modified theorem list.find_mem

modified theorem list.find_nil

modified theorem list.find_some