Theorem Filter.HasBasis.principal_inf

Modification history