Added proofs about get_tag_type.
Description
Description
Details
Details
- Provenance
Achim D. Brucker <adbrucker@0x5f.org> Authored on - Parents
- rAFP226cc9fd1567: Mostly improving theory format (adding line breaks) and added
- Branches
- Unknown
- Tags
Added proofs about get_tag_type. Tags None Subscribers None |