Commit 2024-11-11 17:57 fa330e6e

View on Github →

feat: Incidence algebras (#8900) Define incidence algebras From LeanCamCombi

Estimated changes

added theorem IncidenceAlgebra.ext
added structure IncidenceAlgebra