mathematics_in_lean_source icon indicating copy to clipboard operation
mathematics_in_lean_source copied to clipboard

Published 20 hours ago • verified publisher icon avigad

Lattice notation vs set notation

Open PatrickMassot opened this issue 4 years ago • 0 comments

Not an actual issue up to now, but let's record that we should carefully monitor https://github.com/leanprover-community/mathlib/pull/3083

PatrickMassot avatar Jul 03 '20 15:07 PatrickMassot