Theorem CauSeq.mk_apply

Modification history

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