Highly totient number

ID: highly-totient-number

New to topics? Read the docs here!