paper-category-of-iterative-sets
Elisabeth.Stenholm's avatar
Elisabeth.Stenholm
@Elisabeth.Bonnevier
677c050d · Add naturality condition to V0 CwF · 
Commit used for the paper The Category of Iterative Sets