Closed etiennecallies closed 3 years ago
Available on https://linearon.modusponens.dev/?s=A*A%5E%2CA%7CA%5E+ (double click on thesis sign)
I merge and will do in other PRs :
Available on https://linearon.modusponens.dev/?s=A*A%5E%2CA%7CA%5E+ (double click on thesis sign)