Month: June 2022

Lean4で圏を定義しました。（圏、関手の定義のみ） 圏 関手 ※参考：mathlib