Skip to main content
PRL Project

Uniform Inhabitants for the Non-Union Blueprints, continued

by Evan Moran
2004-2005

Transforming E -> (U Bi) into U (E -> Bi) when E is Non-Union