-
POTTIER Francois authored
In [Lr0], remove [new_numbering] and expose [Lr1stateAsOrderedType] instead. Use this to simplify [Lr1canonical].
4cd330ad
In [Lr0], remove [new_numbering] and expose [Lr1stateAsOrderedType] instead. Use this to simplify [Lr1canonical].