`apply` と `exact` の違い

[Seasawher]

h が「すべてのxについて P x」の証明であるとき、apply h は P x を閉じるが、exact h は P x を閉じることができない。