Commit 2020-08-15 23:34 e75ada7f

docs(category_theory/limits/cones): cones documentation and equivalence fixup (#3795) Mostly adding documentation in ct.limits.cones, but also shortened a couple of proofs. I also adjusted a couple of statements for is_equivalence to match the is_equivalence projections which are meant to be used (these statements were only used for cones anyway).