Representation of the goal

Stream: new members

[jsodd]

Is there something allowing to see the full structure of the current goal, something analogous to Mathematica's FullForm or TreeForm?

[Eric Wieser]

set_option pp.all true?

[jsodd]

Thank you very much, this is exactly what I wanted