Commit 2023-02-19 17:54 3418eb74

View on Github →

fix: Port map_bit1 (#2374)

Estimated changes

added theorem map_bit1