Theorem Finset.forall_of_forall_cons

Modification history