Theorem algebraMap_comp_intCast

Modification history