Talk:Ordinal Subset is Well-Ordered

Problem
The theory references Subset of Well-Ordered Set, which is the analogous theorem for well-orders (instead of strict well-orders).