theorem :: FUZIMPL4:29

FuzzyLattice [.0,1.] is complete distributive Heyting LATTICE ;