Commit 2026-07-10 19:00 1857d442
View on Github →chore: use Sort* in the definition of Equiv (#41588)
Change (β : Sort _) to (β : Sort*) in the definition of Equiv.
chore: use Sort* in the definition of Equiv (#41588)
Change (β : Sort _) to (β : Sort*) in the definition of Equiv.