etale morphism이면 tangent space의 isomorphism을 induce한다는 거 어떻게 보이나요?


제 정의는 smooth of relative dimension 0입니다.