Theorem List.length_map₂

Modification history