Theorem Finset.Nontrivial.pow

Modification history