Work

Stepanov differentiability theorem for intrinsic graphs in Heisenberg groups