mathlib3
7dea60ba - feat(logic/basic): forall_iff_forall_surj (#977)

Commit

6 years ago

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

References

Author

kim-em

Committer

mergify[bot]

Parents