Documentation

LeanPool.VirasoroProject.ToMathlib.LinearAlgebra.Finsupp

Finsupp Support #

Import-only index for finitely supported function support modules used by the Virasoro Project.