Skip to content
Back to pull request #4817

fix: make elabAsElim aware of explicit motive arguments #3284

Sign in to view logs

fix: make elabAsElim aware of explicit motive arguments

fix: make elabAsElim aware of explicit motive arguments #3284

This job succeeded