updated lemma

This commit is contained in:
Jim Geovedi 2017-07-27 19:46:21 +07:00
parent c194f7ae26
commit 6c725e8dcf

File diff suppressed because it is too large Load Diff