Theorem GroupSeminorm.inf_apply

Modification history