Theorem Fin.mem_piFinset_iff_pivot_removeNth

Modification history