fix(docs/theories/integers): typo pointed out by Bryan Gin-ge Chen (#244)
fix(docs/theories/integers): typo pointed out by Bryan Gin-ge Chen (#244)


leanprover-community/mathlib,leanprover-community/mathlib