Theorem CommAlgCat.whiskerLeft_hom

Modification history