Trying to create proposition with caption ` bounded if and only if bounded above'.
This process failed. Based on the experience from our last conversation, I used a less precise shorter caption. Now the proposition was created as expected.
Suspect: Length of captions for propositions etc is capped too low.
Suggestion: Allow 2^7 = 128 characters for all captions
Trying to create proposition with caption ` bounded if and only if bounded above'.
This process failed. Based on the experience from our last conversation, I used a less precise shorter caption. Now the proposition was created as expected.
Suspect: Length of captions for propositions etc is capped too low. Suggestion: Allow 2^7 = 128 characters for all captions