Skip to content
Snippets Groups Projects

remove 'wf' alias for the standard 'well_founded'

Merged Ralf Jung requested to merge ralf/wf into master
Loading