Theorem Filter.hasBasis_binfᵢ_of_directed'

Modification history