Mathlib v3 is deprecated. Go to Mathlib v4

Theorem comp.seq_mk

Modification history

2018-07-16 12:59

category/applicative.lean

feat(category/applicative): `id` and `comp` functors; proofs by `norm` (#184)

Added comp.seq_mk View on Github →