[[!redirects Peter LeFanu Lumsdaine]] [[!redirects P. LeFanu Lumsdaine]] [[!redirects P. Lumsdaine]] [[!redirects Peter Lumsdaine]] [[!redirects Lumsdaine]] < [[nlab:Peter LeFanu Lumsdaine]] category: redirected to nlab