Theorem ContinuousAlternatingMap.norm_ofSubsingleton_id

Modification history