Theorem Finset.toRight_eq_univ

Modification history