Theorem CommRingCat.pushoutCocone_pt

Modification history