Theorem OmegaCompletePartialOrder.Chain.ext

Modification history

2025-08-28 17:49
Mathlib/Order/OmegaCompletePartialOrder.lean
chore(Order): review porting notes (#29073) …
Added OmegaCompletePartialOrder.Chain.extView on Github →