Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.forall_update_iff

Modification history

2021-01-04 08:50

src/logic/function/basic.lean

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

Added function.forall_update_iff View on Github →