Theorem Nat.find_congr

Modification history