Theorem Rat.inv_divInt'

Modification history