P
Initializing...
Filled triangle: A ↦ δA forgets only stuff · Prove2Me