Theorem ContinuousAlternatingMap.neg_apply

Modification history