Theorem card_support_eq_three_iff

Modification history