English Dictionary

The professor's rigorization of the proof clarified several subtle assumptions that had been implicit.

教授による証明の数学的厳密化によって、それまで暗黙だったいくつかの微妙な仮定が明確になった。