Theorem Rat.substr_num_den'

Modification history