Theorem Nat.rfind_min

Modification history