Mathlib v3 is deprecated. Go to Mathlib v4

Theorem forall_iff_forall_surj

Modification history

2021-12-10 21:59
src/logic/basic.lean
feat(logic/function/basic): surjective function is an epimorphism (#10691) …
Deleted forall_iff_forall_surjView on Github →
2019-05-04 22:16
src/logic/basic.lean
feat(logic/basic): forall_iff_forall_surj (#977) …
Added forall_iff_forall_surjView on Github →