Def Nat.beta

Modification history

2024-02-26 04:29

Mathlib/Logic/Godel/GodelBetaFunction.lean

feat(Logic): Godel Beta Function (toward first incompleteness theorem) (#8887) …

Added Nat.beta View on Github →