Skip to content

fix: .eq_def theorem generation with messy universes#4712

Merged
leodemoura merged 1 commit intomasterfrom issue_4673Jul 18, 2024

Commits

Commits on Jul 15, 2024