Skip to content

Update Finite.lean

Update Finite.lean #79

Triggered via push October 26, 2024 08:16
Status Success
Total duration 2m 2s
Artifacts

build.yaml

on: push