log wisdom/free @ 12274:3c04e9ef7a3a 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.