Theorem Function.comp_app

Modification history