Theorem very_long_lemma_name_aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa

Modification history

2026-07-18 00:01
MathlibTest/Tactic/Says/Basic.lean
chore(MathlibTest): fix defLemma warnings (#40593) …
Added very_long_lemma_name_aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaView on Github →