Assertion in master (IM related?)

[Koji Yokota]

> 2025/05/06 0:28、Jürgen Spitzmüller <jspitzm at gmail.com>のメール:
> It might be relevant that I inserted numbers to the theorem. I think
> these might change the direction, as well.

Jurgen,

I fixed potentially related setbacks in commit 22dffc7. Does this solve the problem?

Koji
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20250507/cac69b72/attachment.htm>