Involution implies Noncontradiction and ExcludedMiddle #1872
Triggered via pull request
January 16, 2024 00:41
sideeffffect
sideeffffect
opened
#1242
Status
Success
Total duration
12s
Artifacts
–
auto-approve.yml
on: pull_request_target
auto-approve
2s