Theorem Set.forall_insert_of_forall

Modification history