Skip to content

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

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

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

Build

succeeded Oct 31, 2024 in 6m 46s