Open expln opened 1 year ago
Implement "Shortened header" view option, which will show context header in a very short format suitable for smartphones. See for more details here https://github.com/expln/metamath-lamp/issues/67#issuecomment-1606132900
Implement "Shortened header" view option, which will show context header in a very short format suitable for smartphones. See for more details here https://github.com/expln/metamath-lamp/issues/67#issuecomment-1606132900