HomeIsabelle/Phabricator

new entry: Two_Generated_Word_Monoids_Intersection

Description

new entry: Two_Generated_Word_Monoids_Intersection

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP25cfc0d55518: new entry: Binary_Code_Imprimitive
Branches
Unknown
Tags
Unknown