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)
chore(Data): golf entire tail_cons using rfl. fix coe_eq_image_val theorem statement. (#29661)