Theorem Nat.rfind_zero_none

Modification history