Theorem CommRingCat.pushoutCocone_inl

Modification history