Def NNRat.numDenCasesOn.{u}

Modification history