Theorem ThreeGPFree.smul_set₀

Modification history