CoCalc -- sf-2491986.input

open-axiom repository from github

²⁴⁰⁰⁵ views

-- Contributed by Grégory Vanuxem.
a := 1/7
)display value a