Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-10-04 15:08 9ec21e44

View on Github →

perf(tactic/scc): produce smaller proofs

Estimated changes

added theorem list.tfae_of_forall