Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-12 03:02 c28497fa

View on Github →

chore(*): use iff.rfl instead of iff.refl _ (#1675)

Estimated changes

modified theorem ge_iff_le
modified theorem gt_iff_lt
modified theorem fin.le_iff_val_le_val
modified theorem fin.lt_iff_val_lt_val
modified theorem opposite.op_inj_iff
modified theorem opposite.unop_inj_iff
modified theorem set.set_of_app_iff
modified theorem measure_theory.all_ae_iff
modified theorem Class.mem_hom_right
modified theorem Class.subset_hom