Theorem AlternatingMap.uncurryFin_smul

Modification history