Commit 2025-04-03 02:04 38105a56
View on Github →refactor: make UnivLE a structure (#23611)
As an abbrev, typeclass search reduces this and goes on a wild goose chase for Small.{v} α where α is a variable.
refactor: make UnivLE a structure (#23611)
As an abbrev, typeclass search reduces this and goes on a wild goose chase for Small.{v} α where α is a variable.