Hello, am a computer science from the national university in Colombia, and my teacher ask me to program the Dedekin function in python, the question is... is there even a fucking function for the dedekind numbers?