chore: add gcongr attribute to Nat.ascFactorial_le and Nat.descFactorial_le#41577

kim-em wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

kim-em:claude/followup-40816-gcongr-ascfactorialkim-em/mathlib4:claude/followup-40816-gcongr-ascfactorialCopy head branch name to clipboard