Theorem Finset.isUnit_iff

Modification history