[ Lub Hom Phiaj ] sib npaug: [ Lub Hom Phiaj ]

☞ x ≔ Lub Hom Phiaj tshiab.
☞ y ≔ Lub Hom Phiaj tshiab.
☞ z ≔ x.
✎ sau ntawv: ( x sib npaug: y ), tsum.
✎ sau ntawv: ( x sib npaug: z ), tsum.
✎ sau ntawv: ( x = y ), tsum.
✎ sau ntawv: ( x = z ), tsum.
✎ sau ntawv: ( x ≠ y ), tsum.
✎ sau ntawv: ( x ≠ z ), tsum.
Tsis tseeb
Muaj tseeb
Tsis tseeb
Muaj tseeb
Muaj tseeb
Tsis tseeb