Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-07 15:23 893173d6

View on Github →

feat(category/subobject): complete_lattice instance (#6809)

Estimated changes