Theorem UInt32.val_eq_of_lt

Modification history