Theorem Finset.minimal_iff_forall_diff_singleton

Modification history