Theorem CategoryTheory.fork_ι_comp_cofork_π

Modification history