Def Top.sheaf.is_terminal_of_empty

Modification history