Skip to content
continuous integration (staging)

feat(Data/Fin/Tuple): Define Fin.take and initial theorems (#17196) #11517

Sign in to view logs

feat(Data/Fin/Tuple): Define Fin.take and initial theorems (#17196)

feat(Data/Fin/Tuple): Define Fin.take and initial theorems (#17196) #11517

Build

Build
succeeded Oct 31, 2024 in 6m 46s