Theorem List.ofFn_injective

Modification history