HomeIsabelle/Phabricator

corrected typo in lemma name

Authored by traytel.

Description

corrected typo in lemma name

Details

Committed
traytelNov 6 2019, 4:57 PM
Parents
rISABELLEb3956a37c994: merged
Branches
Unknown
Tags
Unknown