On 05/27/2012 11:06 PM, Diego Villamil wrote:
Hello Lyx Users,
I am writing a math document, and I have a proposition with a number
of properties. I would like to start an enumeration of those
properties within the proof, but haven't found a clean way of doing
that as LyX ignores the proof environment once I added the enumeration.
I want to it to look something like this:
Proposition: The following properties hold:
1. This is property 1.
2. This is property 2.
Proof.
1. This is the proof of the first property.
2. This is the proof of the second property.
Increase the depth within the proof environment.
That said, I'm not sure enumeration is the right way to go here, if the
proofs are at all long. Another option would to be put labels in the
statement of the proposition, and then reference them.
Richard
