Theorem RatFunc.algebraMap_eq_C

Modification history