Theorem ContinuousAlternatingMap.cons_smul

Modification history