mathlib
4f81942d - feat(logic/basic): forall_or_distrib (#1887)

Commit

6 years ago

feat(logic/basic): forall_or_distrib (#1887) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

References

Author

digama0

Committer

mergify[bot]

Parents