Theorem Finset.toLeft_eq_univ

Modification history