Theorem ThreeGPFree.roth_number_eq

Modification history