Theorem lp.isometry_single

Modification history