Theorem ContinuousAlternatingMap.norm_ofSubsingleton

Modification history