Thick isotopy property and the mapping class groups of Heegaard splittings - Daiki Iguchi (2020)