Def ContinuousMap.compStarAlgHom'

Modification history