Theorem Finset.compls_inter

Modification history