Theorem CategoryTheory.BinaryCofan.isVanKampen_mk

Modification history