Custom query (4 matches)

Filters
 
or
 
  
 
Columns

Show under each result:


Status: closed (3 matches)

Ticket Summary Owner Type Priority Version Severity
#17079 Make the test-suite pass. Pierre-Yves Strub defect 5 pre-1.x major
#17055 Lemma linking eq_except and in_dom in FMap enhancement 3 pre-1.x normal
#17054 Finiteness of product of finite types enhancement 3 pre-1.x normal

Status: new (1 match)

Ticket Summary Owner Type Priority Version Severity
#17259 Theory of distribution (iso)morphisms task 3 pre-1.x normal
Note: See TracQuery for help on using queries.