Estoy interesado en echar un vistazo a la prueba del siguiente hecho: Si$X$ es una variedad suave de tipo general, entonces$\mathrm{Aut(X)}$ es finito.
Sé que esto está probado en "Sobre grupos algebraicos de transformaciones biracionales" de Matsumura. Desafortunadamente, este documento no está disponible en la biblioteca de mi institución, ni pude encontrarlo en línea. ¿Alguien podría señalar una forma de encontrar dicho documento o una referencia alternativa?
