CoCalc -- sf-2798220.input

open-axiom repository from github

²⁴⁰⁰⁵ views

-- Issue SF/2798220: Missing before? (%,%) -> Boolean from PrimeField
U : POLY(PF(19)) := 3*X**4+2*X**2+15*X+8