Skip to content

Update Finite.lean

Update Finite.lean #79

build

succeeded Oct 26, 2024 in 1m 51s