Theorem Finset.isUnit_coe

Modification history