Theorem CommAlgCat.binaryCofan_inl

Modification history