Theorem Pretrivialization.linearMapAt_apply

Modification history