Zulip Chat Archive
Stream: maths
Topic: category_theory.Sheaf.category_theory
Kevin Buzzard (Nov 25 2022 at 23:45):
@[simps] on this instance produces a simp lemma called docs#category_theory.Sheaf.category_theory.category_id_val . Is that the right number of category_theorys?
Last updated: May 02 2025 at 03:31 UTC