Theorem WithAbs.isometry_of_comp

Modification history