Theorem finAddFlip_apply_mk_left

Modification history

2023-12-08 22:28

Mathlib/Logic/Equiv/Fin.lean

fix: patch for std4#197 (More add lemmas for `Nat`) (#6202)

Modified finAddFlip_apply_mk_left View on Github →

2023-01-23 18:47

Mathlib/Logic/Equiv/Fin.lean

feat: port Logic.Equiv.Fin (#1745)

Added finAddFlip_apply_mk_left View on Github →