Theorem hasBinaryCoproducts_of_hasInitial_and_pushouts

Modification history