O comutador $\Psi=[F,T]$, a estrutura quase-complexa $J=\Psi/\lambda$, e a ascensão a ℂ
Commutator $\Psi=[F,T]$, almost-complex structure $J=\Psi/\lambda$, and the turn to ℂ
sorryAx. A clean axiom report is not a reading of the statement: per R20, a theorem can assume its conclusion and still report clean. Follow the link before citing one as evidence.