Zulip Chat Archive

Stream: lean4

Topic: Defining Prism Operator

Notification Bot (Mar 25 2024 at 07:57):

This topic was moved to #mathlib4 > Defining Prism Operator by Johan Commelin.

Last updated: Feb 28 2026 at 14:05 UTC