Theorem TopCat.pullbackFst_apply

Modification history