Theorem SemiNormedGrp₁.hom_inv_apply

Modification history