witness: the fact and the family arrive at once — blindness cannot re… #1216
isaacbowenci.yml
on: push
Lean (zero sorry, zero warning)
1m 4s
Reference integrity
5s
Comment-free Lean (only
5s