fix: instantiate mvars in types of mvars in abstractMVars #13715
Triggered via pull request
September 29, 2025 14:03
leanprover-community-bot
leanprover-community-bot
labeled
#10612
Status
Skipped
Total duration
–
Artifacts
–