Skip to content

Update Finite.lean

Update Finite.lean #81

build

succeeded Oct 27, 2024 in 1m 44s