Commit 2025-10-06 14:26 6d8cd6c7

View on Github →

chore(Data): golf entire tail_cons using rfl. fix coe_eq_image_val theorem statement. (#29661)

Estimated changes

modified theorem Stream'.Seq.tail_cons