This is your work, valued

Konstantinos Brilakis

Advanced
@superhaNds

cwfs. Formalization of Categories with Families

16