Structure Prefunctor

Modification history

2025-02-11 23:39

MathlibTest/Simps.lean

fix(Tactic/Simps/Basic): check more carefully against proof fields (#21578) …

Added Prefunctor View on Github →

2024-11-28 16:12

Mathlib/Combinatorics/Quiver/Basic.lean

chore: split Prefunctor out of Quiver (#19525)

Modified Prefunctor View on Github →

2022-12-01 15:35

Mathlib/Combinatorics/Quiver/Basic.lean

port: several files from category_theory (#749) …

Added Prefunctor View on Github →