Theorem List.lookmap_of_forall_not

Modification history