Commit 2026-04-07 10:49 2b875e0b

View on Github →

chore(CategoryTheory/Subfunctor): use Sort* instead of Type* for some lemmas (#37668)

Estimated changes