Theorem Filter.HasBasis.to_hasBasis

Modification history