Theorem descPochhammer_map

Modification history