Theorem isometry_dcomp

Modification history