Theorem ContinuousAlternatingMap.vecCons_smul

Modification history