Emilio Jesús Gallego Arias (Oct 01 2021 at 15:42): Emilio Jesús Gallego Arias (Oct 01 2021 at 15:42):Hi folks, has anyone implemented a type that for a given T : finType represents a k-ranked set of T?
By a k-ranked set of T I mean a duplicate-free k.-tuple T
Just asking as not to reinvent the wheel
Last updated: Dec 07 2023 at 18:01 UTC