Commit 2023-01-30 06:50 4e8fcfed

View on Github →

fix: Clean up TODO in Data/Nat/Dist.lean (#1939)

Estimated changes