This is an old revision of the document!
Set of divisors function
Function
definiendum | $ \mathrm{divisors}:\mathbb N^+\to\mathcal{P}(\mathbb N) $ |
definiendum | $ \mathrm{divisors}(n):=\{a\ |\ \exists (b\in\mathbb N).\ a\cdot b=n\} $ |
make this into a set