paper-univalent-material-set-theory
Elisabeth.Stenholm's avatar
Elisabeth.Stenholm
@Elisabeth.Bonnevier
c26563a5 · Change restricted separation to use El · 
Commit used for the paper Univalent Material Set Theory