proofs

Jun
03

Playing with Isar

Handwritten versions: Pg. 1 [https://www.sacrideo.us/v5/imgs/blog/isar_fact/pg1.jpg], Pg. 2 [https://www.sacrideo.
2 min read