ByNobleID
    The variety of lambda abstraction algebras does not admit n-permutable congruences for all n. | NobleID