Theorem RatFunc.algebraMap_comp_C

Modification history