WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — 1729 (number)

Revision #3332 → #3856 · back to history

modified1729 is composite, taxicab, and Carmichael09a4efab74e9
FieldFrom #3332To #3856
noteMathlib's `ArithmeticFunction.carmichael` is the reduced-totient function and `FermatPsp.lean` states Carmichael numbers are 'not yet defined'; no taxicab notion either.Mathlib's `ArithmeticFunction.carmichael` is the reduced-totient function and `FermatPsp.lean` explicitly notes Carmichael numbers are 'not yet defined'; no taxicab notion either.
added1729 is a composite number6b008a5cdbca
added1729 = 1³ + 12³ = 9³ + 10³3f3573c85e52