Theorem AlternatingMap.uncurryFin_apply

Modification history