Euler's Partition Theorem

Karol Pak. Euler's Partition Theorem. Formalized Mathematics, 23(2):93-99, 2015. [doi]

Authors

Karol Pak

This author has not been identified. Look up 'Karol Pak' in Google