Theorem Nat.rfind_min'

Modification history