Theorem Function.right_id

Modification history