Skip to content

improved definition of pointed functor#229

Open
jethrolarson wants to merge 1 commit intomasterfrom
jethrolarson-pointed
Open

improved definition of pointed functor#229
jethrolarson wants to merge 1 commit intomasterfrom
jethrolarson-pointed

Commits

Commits on Aug 3, 2022