Skip to content

Update Finite.lean

Update Finite.lean #81