Skip to content
Snippets Groups Projects
Select Git revision
0 results
Blame Permalink
Forked from Iris / Iris
Loading
  • Ralf Jung's avatar
    d6e6d71e
    Bring back wp_bindi · d6e6d71e
    Ralf Jung authored 
    I know we don't use it.  Stating theorems also serves to document things, and IMHO this one is informative.  It also costs us nothing.
    d6e6d71e
    History
    Bring back wp_bindi
    Ralf Jung authored 
    I know we don't use it.  Stating theorems also serves to document things, and IMHO this one is informative.  It also costs us nothing.