Theorem Sym.eq_nil_of_card_zero

Modification history