Here we begin our study of bees.
Theorem 1.1.1 (the bee theorem). According to all known laws of aviation, there is no way that a bee should be able to fly.
Its wings are too small to get its fat little body off the ground.
. Bees, of course, fly anyways.
Because bees don't care what humans think is impossible.
Exercise 1.1.2: Prove that this summary
environment is common to all dropdown-based environments.
Solution: by reading the documentation, of course!
All dropdowns initialized in ThmsExtension()
have a default summary
value of thm_type
,
so using dropdowns like pf
and exer
here without a summary
block is also fine.
Also, since there's no extra summary after the theorem heading of "Exercise", there is no punctuation
(the colon; default punctuation is a period) since we set "use_punct_if_nothing_after": False
.