Theorem Set.Finset.coe_einfsep

Modification history