Theorem List.lookmap_congr

Modification history