Skip to content

Add LIST_REL aliases for EVERY2 theorems

e135cd0
Select commit
Loading
Failed to load commit list.
Open

Add LIST_REL aliases for EVERY2 theorems #1772

Add LIST_REL aliases for EVERY2 theorems
e135cd0
Select commit
Loading
Failed to load commit list.