Theorem RatFunc.algebraMap_X

Modification history