Theorem Algebra.Presentation.differentials.comm₂₃'

feat(Algebra/Module): a presentation of an algebra induces a presentation of the module of differentials (#18440)