Theorem Int.strongRec_of_lt

Modification history