9 September 2024
Proposal by Martin Doerr to introduce a new property in CRMsci Oxx7 observed dimension (was observed in). For the proposed definition see here. For the diagram see here.