Commit 2024-02-13 05:56 c892c4c8

View on Github →

chore: bump Std (#10475)

Estimated changes

Modified Mathlib/Data/Fin/Basic.lean

deleted theorem Fin.coe_sub_iff_le

deleted theorem Fin.coe_sub_iff_lt

Modified lake-manifest.json