Theorem monic_ascPochhammer

Modification history