## Stream: maths

### Topic: is_iso restate_axioms

#### Johan Commelin (Jan 14 2019 at 20:44):

@Scott Morrison I don't know much about restate_axiom, but I think it has to be invoked on is_iso. Is that right?

#### Johan Commelin (Jan 14 2019 at 20:58):

Ooh, never mind. I can't read. They are stated a few lines lower.

Last updated: May 09 2021 at 10:11 UTC