mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

chore(category_theory/limits): generalize universes for limits in punit

Open TwoFX opened this issue 3 years ago • 0 comments

Split off from #15912 to reduce merge conflicts with a future PR.

Open in Gitpod

TwoFX avatar Aug 14 '22 09:08 TwoFX