Theorem List.map_congr

Modification history