Theorem CommAlgCat.fst_unop_hom

Modification history