New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

axc11r correction #3898

Closed

wlammen wants to merge 0 commits into metamath:develop from wlammen:develop

Contributor

wlammen commented Mar 30, 2024

(Mathbox) Fix issue in Discourage indirect usage of ax-13? #3879 (comment)
Delete outdated OLD theorem

icecream17 approved these changes

View reviewed changes

wlammen changed the title ~~set.mm~~ axc11r correction

benjub reviewed

View reviewed changes

set.mm Outdated Show resolved Hide resolved

wlammen closed this

wlammen force-pushed the develop branch from a9d08bf to f06fca7 Compare

April 2, 2024 07:51

wlammen mentioned this pull request

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet