Dear LyX developers,
I find myself needing an Assumption environment every now and again and
think it should be added to Theorems.inc and its relatives. (As far as I
can tell it isn't defined in any of the Theorems-<something>.inc
included in the Resources/layouts folder.) I've added it to a personal
version of Theorems.inc, inserting it after Fact in the list of
environments provided there.
A use case is when one has an extended argument (a chapter perhaps) in
which this assumption is part of the background to the argument and
attention should be drawn to that fact, but either (a) it would be
tiresome and get in the way of understanding if one had to bloat every
assertion (theorem, proposition, lemma, etc.) with its explicit
inclusion, or (b) the argument isn't presented in theorem/proof form but
more informally as a discussion which is to be understood against the
background of the assumption.
Although I can't find an Assumption environment defined in any
Theorems-<something>.inc file, Theorems-refprefix.inc does define the
prefix: assu.
Andrew
---
This email has been checked for viruses by Avast antivirus software.
https://www.avast.com/antivirus
