Theorem Fin.mem_piFinset_iff_zero_tail

Modification history