Theorem Set.forall_of_forall_insert

Modification history