Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-01-16 11:40 4f81942d

View on Github →

feat(logic/basic): forall_or_distrib (#1887)

Estimated changes