Theorem CategoryTheory.FinitaryExtensive.vanKampen

Modification history