-
François Bobot authored
One little example with explicit substitution, unfortunatly shift is too simple and so the axiomatic is inconsistent. too continue
1e1cd66b
One little example with explicit substitution, unfortunatly shift is too simple and so the axiomatic is inconsistent. too continue