Theorem FilterBasis.eq_infᵢ_principal

Modification history