mathlib
5530b8bd - attempt to use the embedding into endofunctors to prove coherence

Commit

4 years ago

attempt to use the embedding into endofunctors to prove coherence

Author

kim-em

kim-em

Parents

Loading