Skip to content

feat(RepresentationTheory/Homological/ContCohomology): add inflation maps in continuous cohomology#41545

Open
rmhi wants to merge 8 commits into
leanprover-community:masterfrom
rmhi:rh_inflation
Open

feat(RepresentationTheory/Homological/ContCohomology): add inflation maps in continuous cohomology#41545
rmhi wants to merge 8 commits into
leanprover-community:masterfrom
rmhi:rh_inflation

[pre-commit.ci lite] apply automatic fixes

9d3fd50
Select commit
Loading
Failed to load commit list.
Sign in for the full log view