Changes between Initial Version and Version 2 of Ticket #32270
- Timestamp:
- 07/24/21 11:08:17 (11 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #32270
-
Property
Status
changed from
new
toneeds_review
-
Property
Authors
changed from
to
Michael Jung
- Property Cc tscrim mkoeppe egourgoulhon added
-
Property
Branch
changed from
to
u/gh-mjungmath/turn_de_rham_cohomology_into_algebra
-
Property
Commit
changed from
to
fb9c6618ff20ec36984d1e42c24e2012ffff3d8a
-
Property
Status
changed from
-
Ticket #32270 – Description
initial v2 1 The De Rham cohomology is in fact an algebra. We change the category and class name.1 The De Rham cohomology is in fact an algebra. 2 2 3 3 This happens in view of #29581, where the set of characteristic cohomology classes constitutes a sub-algebra.