Theorem Nat.mem_rfind

Modification history