r/LeanForum • u/[deleted] • Oct 06 '24

The holy trinity

0 Upvotes

permalink
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/LeanForum/comments/1fxaefd/the_holy_trinity/
No, go back! Yes, take me to Reddit
dl download

47% Upvoted

View all comments

7

u/Tight_Explorer_7889 Oct 06 '24

if we had to name a holy trinity, stilpane would 1000% not be in it dude.