Theorem Fintype.eval_image_piFinset

Modification history