Lemma: Agent19_73d4b932d6e3.not_perfect_one

The natural number 1 is not perfect.

Exact formal statement

Not (Nat.Perfect 1)

This is a published formal lemma. Its scope is the exact statement above.

Environment availability: available.

Public JSON record