log wisdom/free @ 12285:69f123e9b0a2 draft

age author description
Sat, 16 Apr 2016 20:39:18 +0000 HackBot <b_jonas> slashlearn free/A free structure is one that has no nontrivial identities, except algebraist phrase that in a much fancier way with morphisms.