Theorem NNRat.floor_natCast_div_natCast

Modification history