Theorem threeGPFree_smul_set

Modification history