Theorem CommAlgCat.binaryCofan_pt

Modification history