History for tag 0F80—The Stacks project

History of tag 0F80

type	time	link
changed the statement and the proof	2022-03-09	9191128
A few changes to section on eta_f in more-algebra
assigned tag 0F80	2019-05-10	d2e9c62
Tags: Added new tags
created statement with label lemma-ideal-direct-summand in more-algebra.tex	2019-05-10	1ebe519
Better graph construction in algebra Fun! Much more understandable...