Theorem Option.naturality

Modification history

2024-07-31 03:44

Mathlib/Control/Traversable/Instances.lean

chore: backports for leanprover/lean4#4814 (part 9) (#15352) …

Modified Option.naturality View on Github →

2023-01-19 05:02

Mathlib/Control/Traversable/Instances.lean

feat: port Control.Traversable.Instances (#1393)

Added Option.naturality View on Github →