Theorem List.lookmap_none

Modification history