Closed FizzyElt closed 10 months ago
將原本 Lean 定義段落替換,並調整 Functor 內容順序
好像可以用 prefunctor 這個詞喔
from: https://www.isa-afp.org/browser_info/current/AFP/Category2/outline.pdf
將原本 Lean 定義段落替換,並調整 Functor 內容順序