Theorem nonempty_fun

Modification history