Theorem RatFunc.algebraMap_ne_zero

Modification history