Def CauSeq.mk

Modification history

2026-10-27 21:33
Mathlib/Algebra/Order/CauSeq/Basic.lean
chore: use `IsApply` for `CauSeq` (#45101) …
Added CauSeq.mkView on Github →