Theorem Nat.Partrec.Code.encode_lt_rfind'

Modification history