Theorem Functor.Comp.pure_seq_eq_map

Modification history

2022-11-30 16:55
Mathlib/Control/Applicative.lean
feat: port Control.Applicative (#798) …
Added Functor.Comp.pure_seq_eq_mapView on Github →