Theorem StarAlgHomClass.map_cfc

Modification history