Is there a way for Print Assumptions to say which Lemma brought in an Axiom?
Last updated: Sep 30 2023 at 05:01 UTC