chore: prefer classical over open scoped Classical in proofs#41541
Open
felixpernegger wants to merge 1 commit into
Open
chore: prefer classical over open scoped Classical in proofs#41541felixpernegger wants to merge 1 commit into
classical over open scoped Classical in proofs#41541felixpernegger wants to merge 1 commit into
