Commit 2023-03-16 02:45 59b0a41e

View on Github →

refactor: Add a new theorem for PosNum.shiftl (#2783)

Estimated changes