Skip to content

fix: internalize nested ground patterns when activating ematch theorems#6478

Merged
leodemoura merged 1 commit intomasterfrom grind_ematch4Dec 30, 2024

Commits

Commits on Dec 30, 2024