Talk:Reflection Theorem

linked from http://mizar.org/version/current/html/zf_refle.html --Ysangkok (talk) 14:14, 8 October 2015 (UTC)