Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-05-04 22:16 7dea60ba

View on Github →

feat(logic/basic): forall_iff_forall_surj (#977) a lemma from the perfectoid project

Estimated changes

added theorem forall_iff_forall_surj