Commit 2023-05-15 06:06 31f0309e
View on Github →feat: port CategoryTheory.Sites.DenseSubsite (#3985)
Mostly straightforward. Had to fight with simp
once and the typeclass inference system a couple of times.
feat: port CategoryTheory.Sites.DenseSubsite (#3985)
Mostly straightforward. Had to fight with simp
once and the typeclass inference system a couple of times.