Theorem Rat.num_den'

Modification history