Let f be the canonical map. - Soit f la projection canonique.
Let f be the canonical map.
Soit f la projection canonique.