Error Number: 4

Mizar Message:

Description

Typical examples

Weird examples

I just spent 5 minutes on a silly mistake, caused by ignoring labels:

1'1: A = B;
consider f being Function such that 1'1: P[f];
A = B by 1'1;
::>    *4