Def Rat.numDenCasesOn.{u}

Modification history