Skip to content
Back to pull request #340

Fix : Limit scope of hygiene false option in MagmaLaw.lean #971

Sign in to view logs

Fix : Limit scope of hygiene false option in MagmaLaw.lean

Fix : Limit scope of hygiene false option in MagmaLaw.lean #971

Build project

Build project
succeeded Oct 5, 2024 in 6m 48s