leanprover-community
Showing with 1 addition and 0 deletions.

+1 −0 mathlib4-port-status.md
diff --git a/mathlib4-port-status.md b/mathlib4-port-status.md
@@ -318,6 +318,7 @@ algebra.order.group.densely_ordered: 'No'
 algebra.order.group.inj_surj: 'No'
 algebra.order.group.instances: 'Yes mathlib4#890 a95b16cbade0f938fc24abd05412bde1e84bab9b'
 algebra.order.group.min_max: 'No'
+algebra.order.group.order_iso: 'No mathlib4#895 a95b16cbade0f938fc24abd05412bde1e84bab9b;
 algebra.order.group.prod: 'No'
 algebra.order.group.type_tags: 'No'
 algebra.order.group.units: 'No'