Formal target: Corpus.WikipediaSuperperfectnumbers.twoFivePerfect

There does not exist a $(2,5)$-perfect number

Exact formal statement

Not (Exists.{1} fun n => Corpus.WikipediaSuperperfectnumbers.PerfectFor n 2 5)

This target is a formal statement, not a proof of the problem.

Environment availability: available.