Theorem Fintype.coe_piFinset

Modification history