Theorem TopCat.pullbackSnd_apply

Modification history