Theorem Set.MapsTo.smul_setₛₗ

Modification history