init.data.nat.bitwiseMathlib.Init.Data.Nat.Bitwise

This file has been ported!

Dependencies 3 + 1

2 files ported (40.0%)
1600 lines ported (46.5%)
Show graph

The unported dependencies are