Theorem TopCat.Sheaf.pushforward_obj_val

Modification history