HomePhabricator

Show all lemmas instead first one

Description

Show all lemmas instead first one

Change-Id: I5faca0061a021a1909135657abcc92a311fb6feb

Details

Provenance
Jay-A2KAuthored on Jun 11 2021, 9:55 AM
Parents
rLTBOc1240b4f41b4: Allow to input Q and L items
Branches
Unknown
Tags
Unknown
References
refs/changes/92/699392/1
ChangeId
I5faca0061a021a1909135657abcc92a311fb6feb