用户:Sasly

card({3;1}) = 9; card({3;2}) = 9; card({3;3}) = 12; card({3;4}) >> H_ψ(Ω2)(5); card({3;5}) ≥ 6; card({3;1₁}) = 3; card({3;2₁}) = 2; card({3;4₁}) = 2;