Theorem Nat.rfind_dom

Modification history