Theorem CommAlgCat.binaryCofan_inr

Modification history