Theorem Finset.Finset.forall_mem_insert

Modification history