Open expln opened 1 year ago
see more details here https://github.com/expln/metamath-lamp/issues/77#issuecomment-1650333964
see more details here https://github.com/expln/metamath-lamp/issues/77#issuecomment-1650333964