Theorem ContinuousAlternatingMap.isLeast_opNorm

Modification history