Theorem SemiNormedGrp₁.id_apply

Modification history