Theorem Fintype.mem_piFinset

Modification history