Theorem Fin.val_bit1

Modification history