[ Lub-Hom-Phiaj ] ≠ [ Lub-Hom-Phiaj ]

var x := Lub-Hom-Phiaj tshiab.
var y := Lub-Hom-Phiaj tshiab.
var z := x.
Stdout sau-ntawv: ( x sib-npaug: y ), tsum.
Stdout sau-ntawv: ( x sib-npaug: z ), tsum.
Stdout sau-ntawv: ( x = y ), tsum.
Stdout sau-ntawv: ( x = z ), tsum.
Stdout sau-ntawv: ( x ≠ y ), tsum.
Stdout sau-ntawv: ( x ≠ z ), tsum.
Tsis-tseeb
Muaj-tseeb
Tsis-tseeb
Muaj-tseeb
Muaj-tseeb
Tsis-tseeb