Is there a way for Print Assumptions to say which Lemma brought in an Axiom?
Last updated: Feb 01 2023 at 11:04 UTC
Bas Spitters (Mar 08 2021 at 09:12): Bas Spitters (Mar 08 2021 at 09:12):