Theorem Filter.HasBasis.hasBasis_self_subset

Modification history