Theorem Trivialization.linearMapAt_symmₗ

Modification history