LyX 2.4.0 rc1 on windows 10. I notice that in the Cross-reference dialogue window, the Reference counter value of a Proposition (when using AMS environments) is given as a Lemma. Obviously a small oversight -- I've tested all the other AMS environments and this is the only one that has a wrong Reference counter value. Andrew