Theorem GroupSeminorm.zero_comp

Modification history