[Merged by Bors] - chore(Algebra/Ring): shortcut `IsDomain` instances for `Nat` and `Int`#30713

YaelDillies wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

YaelDillies:domain_nat_intYaelDillies/mathlib4:domain_nat_intCopy head branch name to clipboard