Alto_Legato 05 May 2023 in Public 4.6-2 Lemma (Canonical mapping). The canonical mapping properly defined lemma sec4.6