theorem :: LATWAL_2:33

wlatt (LatRelStr ExNearLattice) is WA_Lattice ;