Commit 2023-06-19 13:10 5ed7d916

View on Github →

chore: add @[ext] lemmas for NatTrans synonyms (#5228)

Estimated changes