I guess that they inherit the boldness of the portion of the theorem
title (in this case, "Implicit function theorem"). However, it's beyond
my ability to work around this.

David, can you tell something about this?

Regards,
Ikumi Keita
#StandWithUkraine #StopWarInUkraine