3 events
when toggle format what by license comment
Oct 30 '18 at 18:02 history edited Max New CC BY-SA 4.0
added 103 characters in body
Oct 30 '18 at 8:43 comment added gallais Or even better: prove an even more general version corresponding to parallel substitution.
Oct 30 '18 at 0:00 history answered Max New CC BY-SA 4.0