Theorem CommAlgCat.lift_unop_hom

Modification history