Simpler proof of naturality square #17
Triggered via pull request
October 25, 2024 21:45
PHart3
Status
Success
Total duration
1h 11m 29s
Artifacts
–