Theorem AlternatingMap.mkContinuousAlternating_apply

Modification history