Theorem ContinuousAlternatingMap.pi_apply

Modification history