Theorem List.length_enumFrom

Modification history