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

Diff — Natural number

Revision #2825 → #3300 · back to history

added0 is a natural number57c126cf4517
modifiedUniqueness of quotient and remainder1fe8b46fc77a
FieldFrom #2825To #3300
mathlib.module—Init.Data.Nat.Lemmas
addedEuclidean algorithm686d010455b7