Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-03 20:33 52495a0f

View on Github →

chore(data/set/lattice): fix name (#9520) comp is for composition, compl for complement. Fix names using comp instead of compl.

Estimated changes