Theorem Function.extend_of_isEmpty

Modification history