Theorem CommRingCat.pushoutCocone_inr

Modification history