Theorem Function.injective_id

Modification history