Theorem Function.comp.left_id

Modification history