Skip to content
Back to pull request #4817

fix: make elabAsElim aware of explicit motive arguments #2690

Sign in to view logs

fix: make elabAsElim aware of explicit motive arguments

fix: make elabAsElim aware of explicit motive arguments #2690

The logs for this run have expired and are no longer available.