Theorem Finset.shadow_compls

Modification history