This is an old revision of the document!
The specified revision doesn't exist. Click on “Old revisions” for a list of old revisions of this document.
Trace: • congruence_types • commutative_idempotent_integral_involutive_fl-algebras • start