Theorem Function.left_id

Modification history