Theorem monic_pochhammer

Modification history