Theorem Nat.rfind_dom'

Modification history