Integer ($\mathbb{Z}$)

Ancestors

• Formalization of Mathematics | 457, 3k, 73
• Mathematics | 17, 34k, 763
• Ciro Santilli's Homepage | 262, 238k, 4k

Incoming links

• Cardinality | 102
• Finite field | 211, 795, 4
• Recursive set | 22
• Ring | 276, 1k, 13
• Undecidable Diophantine equation problems | 36