Skip to content
continuous integration (staging)

fix: resolve ofNat vs natCast confusion in a Fin lemma (#17422) #10867

Sign in to view logs

fix: resolve ofNat vs natCast confusion in a Fin lemma (#17422)

fix: resolve ofNat vs natCast confusion in a Fin lemma (#17422) #10867

Build

Build
succeeded Oct 7, 2024 in 51m 58s