Skip to content

produce _def and _val theorems in value_type#689

Merged
lsf37 merged 3 commits intomasterfrom value_typeApr 10, 2024

Commits

Commits on Apr 10, 2024