Theorem CategoryTheory.final_toCostructuredArrow_comp_pre

Modification history