Theorem tangentMap_prod_snd

Modification history