Def Rat.numDenCasesOn'.{u}

Modification history