Theorem homology.map_desc

Modification history