Theorem Finset.forall_of_forall_insert

Modification history