emeryberger merged emeryberger/SnakeLean#36 · July 8, 2026 12:22 corpus: add Mathlib combinatorics/number-theory port #36 WhatHand-port 7 monomorphic computable defs from Mathlib into Corpus/Mathlib.lean (namespace Corpus.Mathlib), mirroring the RustModels/Cedar patte… +122 -0