Talk:Double Orthocomplement is Closed Linear Span/Corollary
Jump to navigation
Jump to search
Not a huge fan of the merge. It's a separate result. --prime mover (talk) 20:14, 30 May 2023 (UTC)
- Do I overlook something? Are these results not the same? Are both texts not identical?? --Usagiop (talk) 20:35, 30 May 2023 (UTC)
- Oh yeah see what you're getting at, yeah ignore me --prime mover (talk) 21:00, 30 May 2023 (UTC)