Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • no_ms
  • test_skolem_ko
  • Subset
  • pr_no_math-comp
  • released
  • PhD_HM_2024
  • 1.0
  • Bochner.1.0
  • Tonelli.1.0
  • LInt_p.1.0
11 results
Compare
François Clément's avatar
Use new API (swap of P and V).
François Clément authored 
WIP: add Lift_Trace_equiv and Trace_Lift.
42fe7cec
History
François Clément's avatar 42fe7cec
History
Name Last commit Last update