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.
Proof 1.1.1.1.
Its wings are too small to get its fat little body off the ground.
Bees, of course, fly anyways.
Proofs are configured to have titles override the heading.
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!
Exercise 1.1.3.
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.