C
Z
H
_
F
oundations Dependents
2021
Category Theory for ZFC in HOL II: Elementary Theory of 1-Categories
by
Mihails Milehins
Sep 06