← Copula mathematical handbook

opaque leansearch.queries : Lean.Option Nat

opaque loogle.queries : Lean.Option Nat

opaque statesearch.queries : Lean.Option Nat

opaque statesearch.revision : Lean.Option String

opaque leansearchclient.useragent : Lean.Option String

opaque leansearchclient.backend : Lean.Option String