Theorem SemiNormedGrp₁.comp_apply

Modification history