Def TopCat.Sheaf.isTerminalOfEmpty

Modification history