Commit 2025-08-29 19:57 1b37a9ae
View on Github →chore(Data/Seq): split Seq.lean
(#28954)
Split Data/Seq/Basic.lean
into Defs.lean
and Basic.lean
.
chore(Data/Seq): split Seq.lean
(#28954)
Split Data/Seq/Basic.lean
into Defs.lean
and Basic.lean
.