Zulip Chat Archive
Stream: mathlib4
Topic: capitalisation and dot notation
Kevin Buzzard (Nov 16 2022 at 11:19):
(sorry for dupe -- on a train)
Moritz Doll (Nov 16 2022 at 11:20):
it is
theorem _root_.WellFounded.transGen (h : WellFounded r) : WellFounded (TransGen r) :=
Kevin Buzzard (Nov 16 2022 at 11:22):
lol sorry yes. My question is just about the small t. I'll edit the question.
Moritz Doll (Nov 16 2022 at 11:23):
the small t is correct
Kevin Buzzard (Nov 16 2022 at 11:23):
I can't edit the question because my internet is patchy but you've answered it -- thanks.
Last updated: Dec 20 2023 at 11:08 UTC