Theorem fish_pure

Modification history

2023-11-17 05:53
Mathlib/Control/Basic.lean
chore: bump to v4.3.0-rc2 (#8366) …
Modified fish_pureView on Github →
2022-11-25 20:23
Mathlib/Control/Basic.lean
feat: port Control.Basic (#588) …
Added fish_pureView on Github →