Theorem CategoryTheory.coconeOfRepresentable_pt

Modification history