Theorem CategoryTheory.BinaryCofan.isVanKampen_iff

Modification history