Identity and Substitutivity(1971) [pdf] #1 Post by nill0 » Wed, Aug 05, 2026, 11:59 AM UTC Identity and Substitutivity(1971) [pdf]ncatlab.org