Theorem RatFunc.map_apply_ofFractionRing_mk

Modification history