โ›บ
๐Ÿ”— โš™๏ธ

Interior Operator from Closure Axioms by Aidan Baker