Math.NumberTheory.UniqueFactorisation
type family
Prime
(f ::
*
) ::
*
class
UniqueFactorisation
a