Theorem SemiNormedGrp₁.inv_hom_apply

Modification history