Oración 1: esta forma es diferenciable, en efecto, como π es una submersión, 14 entonces existe una sección localmente trivial suave s la cual pasa por cualquier punto de P
Oración 2: si x ∈ P ω̃ ∗ ∗[x] = s π ω̃[x] = s ∗ωx así pues, ω̃ es diferenciable para todo [x] ∈ P/G
Conector: en consecuencia,
Relación: reasoning
Género: theses