Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-12-07 17:05 f7301374

View on Github →

chore(logic/basic): add and.congr_left_iff and @[simp] attrs (#5268)

Estimated changes

Modified src/data/pfun.lean

Modified src/logic/basic.lean

added theorem and.congr_left_iff

modified theorem and.congr_right_iff

Modified src/measure_theory/borel_space.lean

Modified src/topology/uniform_space/uniform_embedding.lean