Talk:Effective topos

From Free net encyclopedia