Theorem Pretrivialization.linearMapAt_eq_zero

Modification history