Theorem Finset.sized_compls

Modification history