A historical note on the extended fundamental theorem of identity typ… #8934
EgbertRijkeci.yaml
on: push
Matrix: typecheck
pre-commit
48s
link-check
1m 13s