Theorem ContinuousAlternatingMap.map_smul

Modification history