Theorem Fin.mem_piFinset_iff_last_init

Modification history