Commit 2025-01-19 22:57 b13cefd9

View on Github →

feat: Pi.ofNat_def (#20857)

Estimated changes

added theorem Pi.ofNat_def