Theorem CauSeq.mul_apply

Modification history

2026-10-27 21:33
Mathlib/Algebra/Order/CauSeq/Basic.lean
chore: use `IsApply` for `CauSeq` (#45101) …
Deleted CauSeq.mul_applyView on Github →
2023-01-10 06:56
Mathlib/Data/Real/CauSeq.lean
feat: port Data.Real.CauSeq (#1124) …
Added CauSeq.mul_applyView on Github →