Theorem tangentMap_prodSnd

Modification history