Prefer a chat interface with context about you and your work?
Existence and regularity of solutions to mixed fully nonlinear local and nonlocal sub-elliptic equation in the Heisenberg group