Virasoro Project Mathlib Support

Import-only index for project-local lemmas and constructions that were developed as Mathlib-facing support code.