Theorem CategoryTheory.Presheaf.final_toCostructuredArrow_comp_pre

Modification history