Skip to content
verifiers

Reduce ax-10, ax-11, ax-12 usage #7867

Sign in to view logs

Reduce ax-10, ax-11, ax-12 usage

Reduce ax-10, ax-11, ax-12 usage #7867

Annotations

1 warning

Generate TeX output using metamath.exe

Generate TeX output using metamath.exe
succeeded Oct 16, 2024 in 2m 12s