Talk:Double Orthocomplement is Closed Linear Span/Corollary

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)