Theorem TangentBundle.symmL_trivializationAt_eq_core

Modification history