Theorem Filter.hasBasis_infᵢ

Modification history