Theorem Filter.HasBasis.property_index

Modification history