Changes between Version 31 and Version 32 of InjectiveTypeFamilies


Ignore:
Timestamp:
Apr 19, 2017 2:25:59 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • InjectiveTypeFamilies

    v31 v32  
    2828
    2929'''Open Tickets:'''
    30 [[TicketQuery(status=new|patch,keywords=~FunDeps|InjectiveFamilies)]]
     30[[TicketQuery(status=new|patch,keywords=~InjectiveFamilies)]]
    3131
    3232'''Closed Tickets:'''
    33 [[TicketQuery(status=closed,keywords=~FunDeps|InjectiveFamilies)]]
     33[[TicketQuery(status=closed,keywords=~InjectiveFamilies)]]
    3434
    3535== Forms of injectivity