Theorem Nat.binaryRec_decreasing

Modification history