Skip to content

Update Set2.lean

Update Set2.lean #376