Theorem CommAlgCat.snd_unop_hom

Modification history