Skip to content
Maintainer merge

feat(Mathlib/Data/Seq/Seq): prove ∀ a ∈ (s : Sequence α), p a using coinduction #10696

Sign in to view logs

feat(Mathlib/Data/Seq/Seq): prove ∀ a ∈ (s : Sequence α), p a using coinduction

feat(Mathlib/Data/Seq/Seq): prove ∀ a ∈ (s : Sequence α), p a using coinduction #10696

Annotations

1 warning

Ping maintainers on Zulip

Ping maintainers on Zulip
succeeded Dec 4, 2024 in 4s