Commit 2024-11-17 00:44 e3327a63

View on Github →

feat: a function with finite domain is bounded (#19134) This is particularly useful for anonymous dot notation From LeanAPAP

Estimated changes