The free modular lattice on four generators is not finitely presentable

From MaRDI portal
Publication:2560435