Theorem ContinuousAlternatingMap.constOfIsEmpty_toAlternatingMap

Modification history