theorem :: LATWAL_2:32

LatRelStr ExNearLattice is WA-Lattice ;