Theorem GroupSeminorm.smul_sup

Modification history