Skip to content

Apply suggestion from @dagurtomas

8420f35
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - feat(CategoryTheory/Limits): biprod.opIso #38996

Apply suggestion from @dagurtomas
8420f35
Select commit
Loading
Failed to load commit list.