Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-04 08:50 41501369

View on Github →

chore(logic/function): generalize rel_update_iff to forall_update_iff (#5601)

Estimated changes

Modified src/logic/function/basic.lean

added theorem function.forall_update_iff

deleted theorem function.rel_update_iff

Modified src/order/basic.lean