Theorem GroupSeminorm.apply_one

Modification history