Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-26 13:57 bc3a6cfa

View on Github →

chore(data/list/basic): Make it clear that forall_mem_cons and ball_cons are synonyms (#4279)

Estimated changes

modified theorem list.forall_mem_cons