coderoshi/holy-grail-dbs — comment on commit 52178cb4d7e1ee2fd35127ae7d7a48cb88a6a7e0
File:  line 0
By isomorphisms:

That worked, thanks.