Ajout de la WHNF de `Eq.cast`
by Barszcz Jean-Alexandre 29 Oct '20

29 Oct '20