The bigraded Rumin complex via differential forms - Case, Jeffrey S. (American Mathematical Society,, 2025)