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.

Estimated changes