Theorem Filter.hasBasis_binfᵢ_principal'

Modification history