Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.ULiftHom.{w,
Modification history
2025-10-20 13:51
Mathlib/CategoryTheory/Category/ULift.lean
style: fix whitespace (#30724) …
Added
CategoryTheory.ULiftHom.{w,
View on Github →