Theorem RatFunc.map_apply_div_ne_zero

Modification history