Commit 2026-06-21 19:15 01a1a1f0

chore(Order/Preorder/Finite): use @[to_dual] on lemmas about {Min,Max}imal{For,} (#39547) Proofs of other theorems (e.g. in #39427) with dual theorems dependent on these lemmas would benefit from their duality.