Theorem GroupSeminorm.comp_zero

Modification history