Theorem Filter.HasBasis.vitaliFamily

Modification history