Theorem CategoryTheory.coconeOfRepresentable_ι_app

Modification history