Theorem ascPochhammer_map

Modification history