Theorem SemiNormedGroupCat.completion.lift_unique

Modification history