From f562e72e5948ae20ac0f4fadb0a3988ebb5eaef7 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leomoura@amazon.com>
Date: Fri, 11 Apr 2025 18:40:54 -0700
Subject: [PATCH] chore: move test (#7921)

This test is easy for `grind`, we just need to annotate `Nat.min_def`.