Skip to content

add metatheoretical consequences #503

add metatheoretical consequences

add metatheoretical consequences #503