Theorem NormedAddGroupHom.isometry_id

Modification history