Skip to content

Update Mathlib/CategoryTheory/ObjectProperty/ClosedUnderIsomorphisms.… #169489

Update Mathlib/CategoryTheory/ObjectProperty/ClosedUnderIsomorphisms.…

Update Mathlib/CategoryTheory/ObjectProperty/ClosedUnderIsomorphisms.… #169489

Post-CI job

succeeded Feb 25, 2025 in 9s