Commit 87144cdd08a0d0f40587439f909e54a5687b1751 Parent 7a81c48f8c0a09d7f4b84ee307f2444af08878a7 Author Pablo <pablo-escobar@riseup.net> Date Wed, 5 Jan 2022 23:04:53 +0000 Added the category of bundles over some manifold Also removed the \TopRep macro