CoCalc -- aw-412.input

open-axiom repository from github

²⁴⁰⁰⁵ views

f(x: Domain): Integer ==
  x has IntegralDomain => 1
  0