Thanks, added it to bruijn's standard library [0]. Looks like it has some very interesting properties! [0]: https://bruijn.marvinborner.de/std/Number_Tuple.bru

Thanks, added it to bruijn's standard library [0]. Looks like it has some very interesting properties! [0]: https://bruijn.marvinborner.de/std/Number_Tuple.bruijn.html https://bruijn.marvinborner.de/std/Number_Tuple.bruijn.html