nLab diamond lemma

Contents

Contents

Idea

(…)

References

The original reference:

Review:

Created on January 13, 2024 at 05:33:28. See the history of this page for a list of all contributions to it.