Extensionality not required for proof of neg any equiv all neg#1086
Merged
wenkokke merged 1 commit intoplfa:devfrom negatratoron:extensionality-not-required-for-neg-any-equiv-all-negJan 24, 2025
-1
Commits
Commits on Jan 24, 2025
- committed
Jefferson Carpenter