Registry · Definition IV.D49 tau-effective formalized

IV.D49 — CR-Manifold

A CR-manifold of type (k, l) is a real smooth manifold of dimension 2k+l equipped with a rank-2k horizontal distribution H, a complex structure J on H with J^2 = -id, and an integrability condition on Lie brackets of (1,0)-sections.

Book IV Part 3 Ch. 16

Dependency Graph

Depended on by (8)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.CRAddressSpace

Symbol: Tau.BookIV.QuantumMechanics.Crmanifold