Theorem List.length_ofFn

Modification history