Theorem Num.bitwise'_to_nat

Modification history