Theorem CommAlgCat.whiskerRight_hom

Modification history