Files
secondo/Selftest/result1_symmproduct_ExtRelation
2026-01-23 17:03:45 +08:00

21 lines
289 B
Plaintext

(
(rel
(tuple
(
(No_a int)
(No_b int))))
(
(1 1)
(1 2)
(2 1)
(2 2)
(1 3)
(2 3)
(3 1)
(3 2)
(3 3)
(1 4)
(2 4)
(3 4)))