Theorem Finset.forall_mem_insert

Modification history